Erratum to “Saturated models of universal theories”
نویسندگان
چکیده
منابع مشابه
Saturated models of universal theories
A notion called Herbrand saturation is shown to provide the modeltheoretic analogue of a proof-theoretic method, Herbrand analysis, yielding uniform model-theoretic proofs of a number of important conservation theorems. A constructive, algebraic variation of the method is described, providing yet a third approach, which is finitary but retains the semantic flavor of the model-theoretic version.
متن کاملDecompositions of saturated models of stable theories
We characterize the stable theories T for which the saturated models of T admit decompositions. In particular, we show that countable, shallow, stable theories with NDOP have this property. Partially supported by NSF Grants DMS 0071746 and DMS 0300080. Partially supported by U.S.-Israel Binational Science Foundation Grant no. 2002323 and Israel Science Foundation Grant no. 242/03. Publication n...
متن کاملOn the Existence of Saturated Models of Stable Theories
It is proven that a theory T stable in a power X, A > 7" , has a saturated model of cardinality X. The purpose of this note is to show that a theory stable in the power A, A > \T\, has a saturated model of cardinality A. This statement has been well known and easily seen for regular A (even for A = \T\). We shall, therefore, consider the case of a singular A > \T\. Our result was stated in [l] ...
متن کاملRigid א 2 - saturated models of superstable theories ∗
In a countable superstable NDOP theory, the existence of a rigid א2-saturated model implies the existence of 2 λ rigid א2-saturated models of power λ for every λ > 2א0 .
متن کاملImpediments to Universal Preference-Based Default Theories
Research on nonmonotonic and default reasoning has identi ed several important criteria for preferring alternative default inferences. The theories of reasoning based on each of these criteria may uniformly be viewed as theories of rational inference, in which the reasoner selects maximally preferred states of belief. Though researchers have noted some cases of apparent con ict between the pref...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2003
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(03)00004-6